cantorsches Diagonalverfahren

cạntorsches Diagonalverfahren

 

[nach G. Cantor], Verfahren in der Mengenlehre zum Beweis, dass die Menge der rationalen Zahlen abzählbar ist (erstes Diagonalverfahren), wobei die rationalen Zahlen nach folgendem Schema abgezählt werden:

 

Durch das zweite Diagonalverfahren (Diagonalprinzip) wird die Überabzählbarkeit der reellen Zahlen und durch das dritte Diagonalverfahren die größere Mächtigkeit der Potenzmenge gegenüber der Grundmenge bewiesen.